Real-time Monitoring Switch Device Based on IoT

Real-time Stream-based Monitoring

We introduce RTLola, a new stream-based specification language for the description of real-time properties of reactive systems. In real-time applications, data arrives at varying rates and in most cases it is hard to predict the input rate. The integration of sliding windows over real-time intervals with aggregation functions into RTLola allows us to detach fixed-rate output streams from the va...

Real Time PMU-Based Stability Monitoring

(PSERC) is a multi-university Center conducting research on challenges facing the electric power industry and educating the next generation of power engineers. More information about PSERC can be found at the Center's website: Notice Concerning Copyright Material PSERC members are given permission to copy without fee all or part of this publication for internal use if appropriate attribution is...

Steering of real-time systems based on monitoring and checking

We present an approach to enhance fault-tolerance of real-time systems through steering. Steering means external alteration of the system's behavior in response to a deviation from requirements. The steering technique is embedded into a framework of monitoring and checking (MaC). MaC allows the users to perform runtime analysis of the current execution of a system with respect to formally speci...

Failure analysis of power devices based on real-time monitoring

Real-time web-based telerehabilitation monitoring.

Distance monitoring of rehabilitation exercises has been primarily conducted using two-way video conferencing. This paper presents a real-time web-based monitoring system that greatly enhances the capability of the clinician to direct rehabilitation therapies.